Software bug - PDFSEARCH.IO - Document Search Engine

Software bug
Results: 2336

#	Item
261	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
262	How to Identify a Bed Bug Infestation Dini M. Miller, Ph.D., Department of Entomology, Virginia Tech Introduction You cannot just “get” bed bugs. They have to be brought into your home. So what is your first clue tha Add to Reading List Source URL: www.lickingcohealth.org Language: English - Date: 2015-01-28 10:19:04 Bed bug Parasites Starship Troopers Bug Software bug Bed bug control techniques Hemiptera Phyla Protostome
263	Dr Bjarne Stroustrup: An Interview Emyr Williams begins a new series of interviews in the programming world. I Add to Reading List Source URL: www.stroustrup.com Language: English Cross-platform software C++ Procedural programming languages Object-oriented programming C Generic programming This Programming language Software bug Software engineering Computing Computer programming
264	HTML and CSS Web Standards Solutions A Web Standardistas’ Approach Christopher Murphy Nicklas Persson Add to Reading List Source URL: webstandardistas.com Language: English - Date: 2014-05-24 11:42:12 Software development Web design Cascading Style Sheets Markup languages Internet Explorer box model bug Style sheet Span and div HTML element Web page Computing HTML World Wide Web
265	File: NeeDebug Needed Remedies for the Undebuggability … Version updated February 15, 2011 9:29 am Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2011-02-15 13:00:10 Applied mathematics William Kahan Floating point Computer Numerical analysis Parallel computing Software bug Algorithm IEEE 754-2008 Computer arithmetic Computing Mathematics
266	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
267	What we lose without words Michael Kerrisk, Google Switzerland LinuxConf Europe 2007 Cambridge, UK; 2 Sepwww.kernel.org/pub/linux/docs/manpages Add to Reading List Source URL: man7.org Language: English - Date: 2015-05-07 06:42:59 Linux Linux kernel Kernel Inotify Software bug Application programming interface Dnotify Event Software Computing Computer architecture
268	59.4 cm POSTER ORDER FORMcm If you would like to order copies of our fantastic full colour insect poster “Lifecycle of the Richmond Birdwing Butterfly”, simply fill out the form below and send to: Bugs Add to Reading List Source URL: www.bugsed.com Language: English - Date: 2015-02-04 20:22:41 Cheque Ornithoptera richmondia Software bug Business Money Finance Ornithoptera Birdwing Papilionidae
269	Error Handling and Diagnosability ACCU 2008 Tony Barrett-Powell Add to Reading List Source URL: accu.org Language: English - Date: 2008-04-16 04:19:34 Exception handling Software bug Debugging Computing Computer errors Error message
270	Obroni Computer Club – A New Thing: Infon Joachim Breitner November 14,th 2006 We have been doing python for eight sessions now, you know a lot about it, and from here you can discover it on your own, there is enough m Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Software bugs Starship Troopers Bug

UPDATE